<html>
<head><meta charset="utf-8"><title>pre-triage 2019.02.27 · t-compiler/wg-nll · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/index.html">t-compiler/wg-nll</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/pre-triage.202019.2E02.2E27.html">pre-triage 2019.02.27</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="159512514"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/pre-triage%202019.02.27/near/159512514" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/pre-triage.202019.2E02.2E27.html#159512514">(Feb 27 2019 at 13:37)</a>:</h4>
<p>I'm going to do pre-triage in this stream topic, as an experiment in response to last week's discussion of trying to adjust the meeting structure</p>



<a name="159512874"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/pre-triage%202019.02.27/near/159512874" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/pre-triage.202019.2E02.2E27.html#159512874">(Feb 27 2019 at 13:40)</a>:</h4>
<p>as usual i'm following the structure presented in our <a href="https://paper.dropbox.com/doc/Non-lexical-lifetimes-NLL-Triage--AYXa2ks~eLo_dMSg0qTz2QqXAg-Em2cJrvxQMMFWLE7lE5Be" target="_blank" title="https://paper.dropbox.com/doc/Non-lexical-lifetimes-NLL-Triage--AYXa2ks~eLo_dMSg0qTz2QqXAg-Em2cJrvxQMMFWLE7lE5Be">NLL triage paper</a></p>



<a name="159513018"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/pre-triage%202019.02.27/near/159513018" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/pre-triage.202019.2E02.2E27.html#159513018">(Feb 27 2019 at 13:41)</a>:</h4>
<p>first, <a href="https://github.com/rust-lang/rust/issues?utf8=%E2%9C%93&amp;q=is%3Aopen+is%3Aissue+label%3AA-NLL+-label%3ANLL-polonius+-label%3ANLL-sound+-label%3ANLL-diagnostics+-label%3ANLL-complete++-label%3ANLL-deferred+-label%3ANLL-performant++-label%3ANLL-fixed-by-NLL+-label%3AC-tracking-issue+-label%3ANLL-reference" target="_blank" title="https://github.com/rust-lang/rust/issues?utf8=%E2%9C%93&amp;q=is%3Aopen+is%3Aissue+label%3AA-NLL+-label%3ANLL-polonius+-label%3ANLL-sound+-label%3ANLL-diagnostics+-label%3ANLL-complete++-label%3ANLL-deferred+-label%3ANLL-performant++-label%3ANLL-fixed-by-NLL+-label%3AC-tracking-issue+-label%3ANLL-reference">uncategorized issues</a></p>



<a name="159513080"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/pre-triage%202019.02.27/near/159513080" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/pre-triage.202019.2E02.2E27.html#159513080">(Feb 27 2019 at 13:41)</a>:</h4>
<p>"NLL migrate mode erroneously downgrades error with nested closures, yielding use-after-free" <a href="https://github.com/rust-lang/rust/issues/58776" target="_blank" title="https://github.com/rust-lang/rust/issues/58776">#58776</a></p>



<a name="159513098"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/pre-triage%202019.02.27/near/159513098" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/pre-triage.202019.2E02.2E27.html#159513098">(Feb 27 2019 at 13:41)</a>:</h4>
<p>this is, strictly speaking, a bug in NLL-migrate.</p>



<a name="159513198"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/pre-triage%202019.02.27/near/159513198" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/pre-triage.202019.2E02.2E27.html#159513198">(Feb 27 2019 at 13:42)</a>:</h4>
<p>but I'm going to tag it as NLL-sound since it does represent code that we should be rejecting</p>



<a name="159513279"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/pre-triage%202019.02.27/near/159513279" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/pre-triage.202019.2E02.2E27.html#159513279">(Feb 27 2019 at 13:43)</a>:</h4>
<p>its already assigned to <span class="user-mention" data-user-id="116118">@Matthew Jasper</span></p>



<a name="159513395"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/pre-triage%202019.02.27/near/159513395" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/pre-triage.202019.2E02.2E27.html#159513395">(Feb 27 2019 at 13:43)</a>:</h4>
<p>I'm going to add myself to the assignee list because I wrote the patch to fix related bug <a href="https://github.com/rust-lang/rust/issues/55492" target="_blank" title="https://github.com/rust-lang/rust/issues/55492">#55492</a></p>



<a name="159513497"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/pre-triage%202019.02.27/near/159513497" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/pre-triage.202019.2E02.2E27.html#159513497">(Feb 27 2019 at 13:44)</a>:</h4>
<p>but I'm going to assume, at least for the rest of the day, that <span class="user-mention" data-user-id="116118">@Matthew Jasper</span> is on top of it. Matthew, do let me know if you would rather that I just take over completely on this bug.</p>



<a name="159513540"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/pre-triage%202019.02.27/near/159513540" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/pre-triage.202019.2E02.2E27.html#159513540">(Feb 27 2019 at 13:45)</a>:</h4>
<p>sounds like p-high ?</p>



<a name="159513571"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/pre-triage%202019.02.27/near/159513571" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/pre-triage.202019.2E02.2E27.html#159513571">(Feb 27 2019 at 13:45)</a>:</h4>
<p>oh yeah, prioritization, right</p>



<a name="159513618"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/pre-triage%202019.02.27/near/159513618" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/pre-triage.202019.2E02.2E27.html#159513618">(Feb 27 2019 at 13:45)</a>:</h4>
<p><del>(we haven't always tagged the P- labels as part of triage, but we should)</del> what was I talking about, its the very next bullet on the agenda. Oh, I guess we've failed to actually add P-tags in general though</p>



<a name="159513630"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/pre-triage%202019.02.27/near/159513630" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/pre-triage.202019.2E02.2E27.html#159513630">(Feb 27 2019 at 13:45)</a>:</h4>
<p>lets make that P-high</p>



<a name="159513747"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/pre-triage%202019.02.27/near/159513747" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/pre-triage.202019.2E02.2E27.html#159513747">(Feb 27 2019 at 13:46)</a>:</h4>
<p>next: "Does the MIR generated for match still build in order-deps visible to MIR-borrowck?" <a href="https://github.com/rust-lang/rust/issues/58646" target="_blank" title="https://github.com/rust-lang/rust/issues/58646">#58646</a></p>



<a name="159513768"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/pre-triage%202019.02.27/near/159513768" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/pre-triage.202019.2E02.2E27.html#159513768">(Feb 27 2019 at 13:46)</a>:</h4>
<p>I'll I-nominate this for discussion tonight</p>



<a name="159514361"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/pre-triage%202019.02.27/near/159514361" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/pre-triage.202019.2E02.2E27.html#159514361">(Feb 27 2019 at 13:51)</a>:</h4>
<p>I <em>think</em> the appropriate tag here is NLL-complete, in the sense that the choice here is not about rejecting an instance of unsound code, but rather just restricting the set of accepted programs in order to provide for future flexibility.</p>



<a name="159514555"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/pre-triage%202019.02.27/near/159514555" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/pre-triage.202019.2E02.2E27.html#159514555">(Feb 27 2019 at 13:53)</a>:</h4>
<p>next: <a href="https://github.com/rust-lang/rust/issues?utf8=%E2%9C%93&amp;q=is%3Aopen+is%3Aissue+label%3AA-NLL+-label%3ANLL-polonius+-label%3ANLL-deferred+-label%3ANLL-fixed-by-NLL+no%3Amilestone+-label%3AP-high+-label%3AP-medium+-label%3AP-low+" target="_blank" title="https://github.com/rust-lang/rust/issues?utf8=%E2%9C%93&amp;q=is%3Aopen+is%3Aissue+label%3AA-NLL+-label%3ANLL-polonius+-label%3ANLL-deferred+-label%3ANLL-fixed-by-NLL+no%3Amilestone+-label%3AP-high+-label%3AP-medium+-label%3AP-low+">unprioritized issues</a></p>



<a name="159514875"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/pre-triage%202019.02.27/near/159514875" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/pre-triage.202019.2E02.2E27.html#159514875">(Feb 27 2019 at 13:55)</a>:</h4>
<p>first: "Getter functions and indexing don't seem to follow the same lifetime rules" <a href="https://github.com/rust-lang/rust/issues/58419" target="_blank" title="https://github.com/rust-lang/rust/issues/58419">#58419</a></p>



<a name="159514953"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/pre-triage%202019.02.27/near/159514953" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/pre-triage.202019.2E02.2E27.html#159514953">(Feb 27 2019 at 13:55)</a>:</h4>
<p>I made a comment on this ticket and added some labels two weeks ago, but didn't prioritize it</p>



<a name="159515011"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/pre-triage%202019.02.27/near/159515011" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/pre-triage.202019.2E02.2E27.html#159515011">(Feb 27 2019 at 13:56)</a>:</h4>
<p>it seems like it is <em>probably</em> P-medium</p>



<a name="159515085"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/pre-triage%202019.02.27/near/159515085" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/pre-triage.202019.2E02.2E27.html#159515085">(Feb 27 2019 at 13:56)</a>:</h4>
<p>(my current hypothesis is that the noted discrepancy is probably due to how 2-phase borrows are currently defined. But I have not confirmed that hypothesis.)</p>



<a name="159515374"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/pre-triage%202019.02.27/near/159515374" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/pre-triage.202019.2E02.2E27.html#159515374">(Feb 27 2019 at 13:59)</a>:</h4>
<p>next: "NLL compile-time performance regression" <a href="https://github.com/rust-lang/rust/issues/58178" target="_blank" title="https://github.com/rust-lang/rust/issues/58178">#58178</a></p>



<a name="159515608"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/pre-triage%202019.02.27/near/159515608" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/pre-triage.202019.2E02.2E27.html#159515608">(Feb 27 2019 at 14:00)</a>:</h4>
<p>it seems like the current status here is that <span class="user-mention" data-user-id="116118">@Matthew Jasper</span> has been working on getting a <a href="https://github.com/rust-lang-nursery/rustc-perf/pull/343" target="_blank" title="https://github.com/rust-lang-nursery/rustc-perf/pull/343">benchmark landed on perf</a></p>



<a name="159515681"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/pre-triage%202019.02.27/near/159515681" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/pre-triage.202019.2E02.2E27.html#159515681">(Feb 27 2019 at 14:01)</a>:</h4>
<p>but there is of course the separate task of actually profiling the remaining slow down</p>



<a name="159515805"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/pre-triage%202019.02.27/near/159515805" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/pre-triage.202019.2E02.2E27.html#159515805">(Feb 27 2019 at 14:01)</a>:</h4>
<p>hmm. I think I'm going to skip NLL-performant issues for right now. I don't feel comfortable just tagging them as P-medium (or P-low), but I also don't think they <em>immediately</em> deserve prioritization.</p>



<a name="159515950"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/pre-triage%202019.02.27/near/159515950" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/pre-triage.202019.2E02.2E27.html#159515950">(Feb 27 2019 at 14:02)</a>:</h4>
<p>okay, next: "issue triage: closures, lifetimes, and nll" <a href="https://github.com/rust-lang/rust/issues/57964" target="_blank" title="https://github.com/rust-lang/rust/issues/57964">#57964</a></p>



<a name="159515966"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/pre-triage%202019.02.27/near/159515966" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/pre-triage.202019.2E02.2E27.html#159515966">(Feb 27 2019 at 14:03)</a>:</h4>
<p>(does this qualify as a meta-bug?)</p>



<a name="159519690"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/pre-triage%202019.02.27/near/159519690" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/pre-triage.202019.2E02.2E27.html#159519690">(Feb 27 2019 at 14:36)</a>:</h4>
<p>okay spent a little while going over the list in <a href="https://github.com/rust-lang/rust/issues/57964" target="_blank" title="https://github.com/rust-lang/rust/issues/57964">#57964</a> . Then decided it is indeed a metabug and thus does not get a P-label</p>



<a name="159519728"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/pre-triage%202019.02.27/near/159519728" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/pre-triage.202019.2E02.2E27.html#159519728">(Feb 27 2019 at 14:37)</a>:</h4>
<p>next: "NLL: complete transition from migrate to full NLL" <a href="https://github.com/rust-lang/rust/issues/57895" target="_blank" title="https://github.com/rust-lang/rust/issues/57895">#57895</a></p>



<a name="159519734"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/pre-triage%202019.02.27/near/159519734" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/pre-triage.202019.2E02.2E27.html#159519734">(Feb 27 2019 at 14:37)</a>:</h4>
<p>I think this is P-high.</p>



<a name="159519753"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/pre-triage%202019.02.27/near/159519753" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/pre-triage.202019.2E02.2E27.html#159519753">(Feb 27 2019 at 14:37)</a>:</h4>
<p>Or at least, I'm not aware of any fires that should be stealing effort away from this task.</p>



<a name="159519839"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/pre-triage%202019.02.27/near/159519839" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/pre-triage.202019.2E02.2E27.html#159519839">(Feb 27 2019 at 14:38)</a>:</h4>
<p>(obviously things like fixing <a href="https://github.com/rust-lang/rust/issues/56254" target="_blank" title="https://github.com/rust-lang/rust/issues/56254">#56254</a> would be paramount before moving the 2015 edition to borrowck=migrate)</p>



<a name="159520006"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/pre-triage%202019.02.27/near/159520006" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/pre-triage.202019.2E02.2E27.html#159520006">(Feb 27 2019 at 14:40)</a>:</h4>
<p>anyway, marking <a href="https://github.com/rust-lang/rust/issues/57895" target="_blank" title="https://github.com/rust-lang/rust/issues/57895">#57895</a> as P-high and assigning to self.</p>



<a name="159520489"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/pre-triage%202019.02.27/near/159520489" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/pre-triage.202019.2E02.2E27.html#159520489">(Feb 27 2019 at 14:45)</a>:</h4>
<p>next: "NLL: turn on borrowck=migrate by default on 2015 edition" <a href="https://github.com/rust-lang/rust/issues/57804" target="_blank" title="https://github.com/rust-lang/rust/issues/57804">#57804</a></p>



<a name="159520513"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/pre-triage%202019.02.27/near/159520513" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/pre-triage.202019.2E02.2E27.html#159520513">(Feb 27 2019 at 14:46)</a>:</h4>
<p>this is already assigned to me. Marking P-high by same logic as <a href="https://github.com/rust-lang/rust/issues/57895" target="_blank" title="https://github.com/rust-lang/rust/issues/57895">#57895</a></p>



<a name="159520673"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/pre-triage%202019.02.27/near/159520673" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/pre-triage.202019.2E02.2E27.html#159520673">(Feb 27 2019 at 14:47)</a>:</h4>
<p>(I <em>think</em> this, <a href="https://github.com/rust-lang/rust/issues/57804" target="_blank" title="https://github.com/rust-lang/rust/issues/57804">#57804</a>, is now solely blocked by PR <a href="https://github.com/rust-lang/rust/issues/58739" target="_blank" title="https://github.com/rust-lang/rust/issues/58739">#58739</a>. Which is super-exciting.)</p>



<a name="159520685"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/pre-triage%202019.02.27/near/159520685" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Matthew Jasper <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/pre-triage.202019.2E02.2E27.html#159520685">(Feb 27 2019 at 14:47)</a>:</h4>
<blockquote>
<p>Or at least, I'm not aware of any fires that should be stealing effort away from this task.</p>
</blockquote>
<p>The fires are all part of this task</p>



<a name="159520798"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/pre-triage%202019.02.27/near/159520798" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/pre-triage.202019.2E02.2E27.html#159520798">(Feb 27 2019 at 14:48)</a>:</h4>
<blockquote>
<p>(I <em>think</em> this, <a href="https://github.com/rust-lang/rust/issues/57804" target="_blank" title="https://github.com/rust-lang/rust/issues/57804">#57804</a>, is now solely blocked by PR <a href="https://github.com/rust-lang/rust/issues/58739" target="_blank" title="https://github.com/rust-lang/rust/issues/58739">#58739</a>. Which is super-exciting.)</p>
</blockquote>
<p>or no, there is also PR <a href="https://github.com/rust-lang/rust/issues/57202" target="_blank" title="https://github.com/rust-lang/rust/issues/57202">#57202</a></p>



<a name="159520828"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/pre-triage%202019.02.27/near/159520828" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/pre-triage.202019.2E02.2E27.html#159520828">(Feb 27 2019 at 14:49)</a>:</h4>
<p>I put that on my todo list a week ago. Let me take care of reviewing it now.</p>



<a name="159520829"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/pre-triage%202019.02.27/near/159520829" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Matthew Jasper <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/pre-triage.202019.2E02.2E27.html#159520829">(Feb 27 2019 at 14:49)</a>:</h4>
<blockquote>
<p>(I <em>think</em> this, <a href="https://github.com/rust-lang/rust/issues/57804" target="_blank" title="https://github.com/rust-lang/rust/issues/57804">#57804</a>, is now solely blocked by PR <a href="https://github.com/rust-lang/rust/issues/58739" target="_blank" title="https://github.com/rust-lang/rust/issues/58739">#58739</a>. Which is super-exciting.)</p>
</blockquote>
<p>It's blocked on all of my open PRs that aren't marked do not merge.</p>



<a name="159523203"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/pre-triage%202019.02.27/near/159523203" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/pre-triage.202019.2E02.2E27.html#159523203">(Feb 27 2019 at 15:16)</a>:</h4>
<p>okay done with review</p>



<a name="159523240"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/pre-triage%202019.02.27/near/159523240" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/pre-triage.202019.2E02.2E27.html#159523240">(Feb 27 2019 at 15:17)</a>:</h4>
<p>reviewing PR <a href="https://github.com/rust-lang/rust/issues/58673" target="_blank" title="https://github.com/rust-lang/rust/issues/58673">#58673</a>  now</p>



<a name="159523398"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/pre-triage%202019.02.27/near/159523398" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/pre-triage.202019.2E02.2E27.html#159523398">(Feb 27 2019 at 15:19)</a>:</h4>
<p><span class="user-mention" data-user-id="116083">@pnkfelix</span> I'm not assigned to any of these tasks, do you guys consider I may help somewhere?</p>



<a name="159523531"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/pre-triage%202019.02.27/near/159523531" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/pre-triage.202019.2E02.2E27.html#159523531">(Feb 27 2019 at 15:21)</a>:</h4>
<p><span class="user-mention" data-user-id="116266">@Santiago Pastorino</span> maybe you could attack <a href="https://github.com/rust-lang/rust/issues/58776" target="_blank" title="https://github.com/rust-lang/rust/issues/58776">#58776</a>? Hey <span class="user-mention" data-user-id="116118">@Matthew Jasper</span> have you already started work on that, or would you like to hand it off?</p>



<a name="159523616"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/pre-triage%202019.02.27/near/159523616" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/pre-triage.202019.2E02.2E27.html#159523616">(Feb 27 2019 at 15:23)</a>:</h4>
<p>Lets maybe plan to circle back on the question of [re]distribution of work at the meeting tonight.</p>



<a name="159523653"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/pre-triage%202019.02.27/near/159523653" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/pre-triage.202019.2E02.2E27.html#159523653">(Feb 27 2019 at 15:23)</a>:</h4>
<p>ok ok, yeah I could take it but let's talk later about it :)</p>



<a name="159523735"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/pre-triage%202019.02.27/near/159523735" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/pre-triage.202019.2E02.2E27.html#159523735">(Feb 27 2019 at 15:24)</a>:</h4>
<p>matthew self assigned it 3 hours ago so I'm going to work under the assumption that they figured they would fix it easily/quickly</p>



<a name="159523762"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/pre-triage%202019.02.27/near/159523762" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/pre-triage.202019.2E02.2E27.html#159523762">(Feb 27 2019 at 15:25)</a>:</h4>
<p>that's the only reason I haven't just said "yeah lets re-assign it to <span class="user-mention" data-user-id="116266">@Santiago Pastorino</span> eagerly)</p>



<a name="159523802"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/pre-triage%202019.02.27/near/159523802" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/pre-triage.202019.2E02.2E27.html#159523802">(Feb 27 2019 at 15:25)</a>:</h4>
<p><span class="user-mention" data-user-id="116266">@Santiago Pastorino</span> to be honest I had thought your hands were full with the Place 2.0 work, is that not an accurate assessment?</p>



<a name="159523899"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/pre-triage%202019.02.27/near/159523899" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/pre-triage.202019.2E02.2E27.html#159523899">(Feb 27 2019 at 15:26)</a>:</h4>
<p>yeah yeah, I'm with Place 2.0</p>



<a name="159523941"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/pre-triage%202019.02.27/near/159523941" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/pre-triage.202019.2E02.2E27.html#159523941">(Feb 27 2019 at 15:27)</a>:</h4>
<p>thing is ... it may happen that meanwhile we agree on some parts of the plan some time pass and I end with some free time</p>



<a name="159523946"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/pre-triage%202019.02.27/near/159523946" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/pre-triage.202019.2E02.2E27.html#159523946">(Feb 27 2019 at 15:27)</a>:</h4>
<p>ah fair enough</p>



<a name="159525311"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/pre-triage%202019.02.27/near/159525311" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/pre-triage.202019.2E02.2E27.html#159525311">(Feb 27 2019 at 15:43)</a>:</h4>
<p>Okay. That was a bit of a side-track from my original task of prioritizing</p>



<a name="159525480"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/pre-triage%202019.02.27/near/159525480" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/pre-triage.202019.2E02.2E27.html#159525480">(Feb 27 2019 at 15:45)</a>:</h4>
<p>Skimming the rest of the unprioiritized items, I probably should just attach P-high to the ones tagged NLL-sound. Lets see</p>



<a name="159525513"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/pre-triage%202019.02.27/near/159525513" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/pre-triage.202019.2E02.2E27.html#159525513">(Feb 27 2019 at 15:45)</a>:</h4>
<p>We have " NLL accepts higher-ranked subtype that non-NLL rejects" <a href="https://github.com/rust-lang/rust/issues/57642" target="_blank" title="https://github.com/rust-lang/rust/issues/57642">#57642</a></p>



<a name="159525615"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/pre-triage%202019.02.27/near/159525615" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/pre-triage.202019.2E02.2E27.html#159525615">(Feb 27 2019 at 15:46)</a>:</h4>
<p>ah I see, this is another case that affects only <code>#![feature(nll)]</code> not migration mode.</p>



<a name="159525632"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/pre-triage%202019.02.27/near/159525632" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/pre-triage.202019.2E02.2E27.html#159525632">(Feb 27 2019 at 15:46)</a>:</h4>
<p>Would be good to link those in the corresponding ticket. I'll do that now.</p>



<a name="159525919"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/pre-triage%202019.02.27/near/159525919" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/pre-triage.202019.2E02.2E27.html#159525919">(Feb 27 2019 at 15:50)</a>:</h4>
<p>as for prioritization ... I guess it inherits the same priority that <a href="https://github.com/rust-lang/rust/issues/57895" target="_blank" title="https://github.com/rust-lang/rust/issues/57895">#57895</a> has. (But now I'm wondering if it was a mistake for me to mark that P-high, instead of <em>just</em> marking <a href="https://github.com/rust-lang/rust/issues/57804" target="_blank" title="https://github.com/rust-lang/rust/issues/57804">#57804</a> as P-high to keep focus on that.)</p>



<a name="159526412"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/pre-triage%202019.02.27/near/159526412" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/pre-triage.202019.2E02.2E27.html#159526412">(Feb 27 2019 at 15:56)</a>:</h4>
<p>Okay. I'm going to attempt to clarify the priorities here by having a separate bug, <a href="https://github.com/rust-lang/rust/issues/58781" target="_blank" title="https://github.com/rust-lang/rust/issues/58781">#58781</a>, for turning off borrowck=migrate mode</p>



<a name="159526776"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/pre-triage%202019.02.27/near/159526776" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/pre-triage.202019.2E02.2E27.html#159526776">(Feb 27 2019 at 16:00)</a>:</h4>
<p>and I marked that (<a href="https://github.com/rust-lang/rust/issues/58781" target="_blank" title="https://github.com/rust-lang/rust/issues/58781">#58781</a>) as P-medium</p>



<a name="159526793"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/pre-triage%202019.02.27/near/159526793" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/pre-triage.202019.2E02.2E27.html#159526793">(Feb 27 2019 at 16:00)</a>:</h4>
<p>and I marked <a href="https://github.com/rust-lang/rust/issues/57642" target="_blank" title="https://github.com/rust-lang/rust/issues/57642">#57642</a> as P-medium and linked it bidirectionally to <a href="https://github.com/rust-lang/rust/issues/58781" target="_blank" title="https://github.com/rust-lang/rust/issues/58781">#58781</a></p>



<a name="159526826"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/pre-triage%202019.02.27/near/159526826" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/pre-triage.202019.2E02.2E27.html#159526826">(Feb 27 2019 at 16:01)</a>:</h4>
<p>next: "Borrow checker incorrectly accepts code when calling function with complex lifetime bounds through a fn pointer" <a href="https://github.com/rust-lang/rust/issues/57170" target="_blank" title="https://github.com/rust-lang/rust/issues/57170">#57170</a></p>



<a name="159526859"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/pre-triage%202019.02.27/near/159526859" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/pre-triage.202019.2E02.2E27.html#159526859">(Feb 27 2019 at 16:01)</a>:</h4>
<p>matthew's PR <a href="https://github.com/rust-lang/rust/issues/57202" target="_blank" title="https://github.com/rust-lang/rust/issues/57202">#57202</a> that I just r+'ed will fix this.</p>



<a name="159526945"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/pre-triage%202019.02.27/near/159526945" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/pre-triage.202019.2E02.2E27.html#159526945">(Feb 27 2019 at 16:02)</a>:</h4>
<p>but in any case I'm marking <a href="https://github.com/rust-lang/rust/issues/57170" target="_blank" title="https://github.com/rust-lang/rust/issues/57170">#57170</a> as P-high</p>



<a name="159526988"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/pre-triage%202019.02.27/near/159526988" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/pre-triage.202019.2E02.2E27.html#159526988">(Feb 27 2019 at 16:03)</a>:</h4>
<p>next: "user type annotations are captured post normalization" <a href="https://github.com/rust-lang/rust/issues/54940" target="_blank" title="https://github.com/rust-lang/rust/issues/54940">#54940</a></p>



<a name="159527085"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/pre-triage%202019.02.27/near/159527085" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/pre-triage.202019.2E02.2E27.html#159527085">(Feb 27 2019 at 16:04)</a>:</h4>
<p>so this affects migrate mode</p>



<a name="159527289"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/pre-triage%202019.02.27/near/159527289" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/pre-triage.202019.2E02.2E27.html#159527289">(Feb 27 2019 at 16:06)</a>:</h4>
<p>marking P-high. its blocked on lazy normalization according to niko, who has also said that its an complex and obscure bug.</p>



<a name="159527316"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/pre-triage%202019.02.27/near/159527316" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/pre-triage.202019.2E02.2E27.html#159527316">(Feb 27 2019 at 16:07)</a>:</h4>
<p>but I figure I'm better off marking it P-high today and then letting niko and/or the traits group demote it</p>



<a name="159527542"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/pre-triage%202019.02.27/near/159527542" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/pre-triage.202019.2E02.2E27.html#159527542">(Feb 27 2019 at 16:09)</a>:</h4>
<p>last NLL-sound unprioritized bug: "fix "bivariant wf" bug in the NLL subtyping code" <a href="https://github.com/rust-lang/rust/issues/54105" target="_blank" title="https://github.com/rust-lang/rust/issues/54105">#54105</a></p>



<a name="159527620"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/pre-triage%202019.02.27/near/159527620" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/pre-triage.202019.2E02.2E27.html#159527620">(Feb 27 2019 at 16:10)</a>:</h4>
<p>we still haven't found a test case that shows this bug in practice.</p>



<a name="159527716"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/pre-triage%202019.02.27/near/159527716" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/pre-triage.202019.2E02.2E27.html#159527716">(Feb 27 2019 at 16:11)</a>:</h4>
<p>nominating for discussion at NLL meeting tonight. I basically want to see if someone wants to volunteer to try to find a test case</p>



<a name="159527843"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/pre-triage%202019.02.27/near/159527843" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/pre-triage.202019.2E02.2E27.html#159527843">(Feb 27 2019 at 16:12)</a>:</h4>
<p>Okay, good news: there are no P-high NLL issues currently unassigned.</p>



<a name="159527912"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/pre-triage%202019.02.27/near/159527912" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/pre-triage.202019.2E02.2E27.html#159527912">(Feb 27 2019 at 16:13)</a>:</h4>
<p>but I'm wondering if we should also talk about <a href="https://github.com/rust-lang/rust/issues/54940" target="_blank" title="https://github.com/rust-lang/rust/issues/54940">#54940</a>. Its blocked on lazy-normalization, what is the plan for that going forward</p>



<a name="159527980"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/pre-triage%202019.02.27/near/159527980" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/pre-triage.202019.2E02.2E27.html#159527980">(Feb 27 2019 at 16:14)</a>:</h4>
<p>(it didn't show up in my search query for unassigned P-high issues because <span class="user-mention" data-user-id="116009">@nikomatsakis</span> is assigned to it right now.)</p>



<a name="159528082"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/pre-triage%202019.02.27/near/159528082" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/pre-triage.202019.2E02.2E27.html#159528082">(Feb 27 2019 at 16:15)</a>:</h4>
<p>I'll nominate it to ask that Q</p>



<a name="159528213"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/pre-triage%202019.02.27/near/159528213" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/pre-triage.202019.2E02.2E27.html#159528213">(Feb 27 2019 at 16:16)</a>:</h4>
<p>and with that, I declare this week's pre-triage done.</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>